Generalised Whitehead product - PDFSEARCH.IO - Document Search Engine

Generalised Whitehead product
Results: 63

#	Item
51	To appear in Finance and StochasticsValuation of Exotic Options Under Shortselling Constraints Uwe Schmock ∗ Department Mathematik Add to Reading List Source URL: www.fam.tuwien.ac.at Language: English - Date: 2003-06-14 17:13:14 Mathematical analysis Statistics Probability Mathematical finance BlackScholes model Equations Options Stock market Normal distribution Generalised Whitehead product Symbol
52	ON THE LOGICAL STRENGTHS OF PARTIAL SOLUTIONS TO MATHEMATICAL PROBLEMS LAURENT BIENVENU, LUDOVIC PATEY, AND PAUL SHAFER ABSTRACT. We use the framework of reverse mathematics to address the question of, given a mathematic Add to Reading List Source URL: ludovicpatey.com Language: English - Date: 2015-08-13 12:44:18 Computability theory Logic Proof theory Mathematics Mathematical logic Reverse mathematics Model theory Philosophy of mathematics Symbol Fixed-point theorems Primitive recursive functional Generalised Whitehead product
53	Analytical Approach to Parallel Repetition arXiv:1305.1979v2 [cs.CC] 15 May 2013 Irit Dinur∗ Add to Reading List Source URL: arxiv.org Language: English - Date: 2013-05-16 00:51:18 NP-complete problems Mathematics Generalised Whitehead product Homotopy theory Unique games conjecture
54	An Equivalence-Preserving CPS Translation via Multi-Language Semantics ∗ Amal Ahmed Matthias Blume Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2012-11-10 10:05:38 Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Valuation Generalised Whitehead product Symbol
55	On the Complexity of Abstract Categorial Grammars In this abstract we investigate the respective complexities of the membership and the universal membership problems for Abstract Categorial Grammars [dG01]. This problem Add to Reading List Source URL: wwwhomes.uni-bielefeld.de Language: English - Date: 2009-05-22 03:48:32 Logic in computer science Theoretical computer science Mathematics Constructible universe Mathematical logic CurryHoward correspondence Table of stars with Bayer designations Generalised Whitehead product
56	On the Complexity of Solving a Bivariate Polynomial System Pavel Emeliyanenko Michael Sagraloff Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2012-01-20 07:19:27 Mathematical analysis Mathematics Symbol Probability distributions Diophantine approximation Generalised Whitehead product Shifting nth root algorithm
57	Equideductive Logic and CCCs with Subspaces Paul Taylor Domains Workshop IX U of Sussex, Tuesday, 23 September 2008 Add to Reading List Source URL: www.paultaylor.eu Language: English - Date: 2009-02-12 12:35:19 Mathematical logic Model theory Structure Universal algebra Homotopy theory Generalised Whitehead product Sigma-algebra
58	Denesting Conditions Sep Thijssen July 11, 2008 Bachelor Thesis in Mathematics Department of Mathematics Add to Reading List Source URL: www.math.kun.nl Language: English - Date: 2008-10-10 08:29:14 Symbol NC Constructible universe Lie algebras Lie groups Generalised Whitehead product Table of stars with Bayer designations
59	Equideductive Logic and CCCs with Subspaces Paul Taylor Advances in Constructive Topology and Logical Foundations Add to Reading List Source URL: www.paultaylor.eu Language: English - Date: 2009-02-12 12:35:30 General topology Symbol Locally compact space Topological space Substitution Duality Generalised Whitehead product
60	λ-RBAC: Programming with Role-Based Access Control Radha Jagadeesan1,? , Alan Jeffrey2,? , Corin Pitcher1?? , and James Riely1,? ? ? 1 2 School of CTI, DePaul University Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2010-12-15 21:37:48 Logic Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Abstraction Generalised Whitehead product Symbol